sentential function

n : formal expression containing variables; becomes a sentence

when variables are replaced by constants